package list3;

public interface ListIter {
	/*@ pure @*/ /*@ readonly @*/ List getList();
	/*@ pure @*/ /*@ readonly @*/ Object getCurrent();
	/*@ pure @*/ boolean hasCurrent();
	void next();
	
	//@ requires getList() instanceof peer List;
	void remove();
}